861. Automatic programming and numerical methods of analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Data processing-- Addresses, essays, lectures
رده :
QA
76
.
6
.
A913
862. Automatic programming applied to VLSI CAD sofware
پدیدآورنده : / by Dorothy E. Setliff and Roc A. Rutenbar.,Setliff
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Automatic programming (Computer science).,Computer - aided design,Integrated Circuits -- Large scale integration
رده :
QA
76
.
6
.
S468
1990
863. Automatic programming applied to vlsi cad software: A case study
پدیدآورنده : by Dorothy E. Setliff and Rob A. Rutenbar
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Automatic programming (computer science),Computer - aided design,Integrated circuits - Large scale integration
رده :
QA
,
76
.
6
,.
S468
,
1990
864. Automatic programming, numerical methods and functional analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Addresses, essays, lectures,، Functional analysis-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
96
865. Automatic programming, numerical methods and functional analysis
پدیدآورنده : edited by V. N. Faddeeva
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Automatic programming )Computer science(,Addresses, essays, lectures ، Numerical analysis,Addresses, essays, lectures ، Functional analysis
رده :
QA
1
.
P736
Vol
.
96
866. Automatic quantum computer programming :
پدیدآورنده : Lee Spector.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic programming (Computer science),Genetic programming (Computer science),Quantum computers.,Automatic programming (Computer science),Automatic programming (Computer science),COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Genetic programming (Computer science),Genetic programming (Computer science),Quantum computers.,Quantum computers.
رده :
QA76
.
889
.
S7
2004eb
867. Automatic quantum computer programming
پدیدآورنده : / Lee Spector
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Quantum computers,Automatic programming (Computer science),Genetic programming (Computer science)
رده :
QA76
.
889
.
S64
2007
868. Automatic quantum computer programming
پدیدآورنده : / Lee Spector
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Quantum computers,Automatic programming (Computer science),Genetic programming (Computer science)
رده :
QA76
.
889
.
S64
2007
869. Automatic quantum computer programming :a genetic programming approach
پدیدآورنده : Spector, Lee
کتابخانه: (سمنان)
موضوع : ، Quantum computers,، Automatic programming )Computer science(,، Genetic programming )Computer science(
رده :
QA
76
.
889
.
S64
2007
870. Automatic re-engineering of software using genetic programming
پدیدآورنده : / by Conor Ryan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Genetic programming (Computer science),Software reengineering
رده :
QA76
.
623
.
R93
2000
871. Automatic re-engineering of software using genetic programming
پدیدآورنده : / by Conor Ryan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Genetic programming (Computer science),Software reengineering
رده :
QA76
.
623
.
R93
2000
872. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
پدیدآورنده : Mainul Islam
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
873. Automating Instructional Design:
پدیدآورنده : edited by Robert D. Tennyson, Ann E. Barron.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Educational technology.,Software engineering.
874. Automating Instructional Design, Development, and Delivery
پدیدآورنده : edited by Robert D. Tennyson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
LB1028
.
38
E358
1994
875. Automating with SIMATIC : Controllers, Software, Programming, Data
پدیدآورنده : / Berger, Hans
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : CONTROL SYSTEMS|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
876. Automatische Komplexitätsanalyse funktionaler Programme
پدیدآورنده : Wolf Zimmermann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming (Computer science),System analysis.,Zeitkomplexität.
رده :
QA76
.
62
W654
1990
877. Automotive systems and software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineeringAutomatic programming (Computer science)
878. Autonomic and trusted computin
پدیدآورنده : / Chunming Rong ... [et al.] (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Autonomic computing--Congresses,Computer security--Congresses,Computer networks--Security measures--Congresses
879. Autonomics development :
پدیدآورنده : by Paul Soule
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distributed operating systems (Computers),Domain-specific programming languages,Intelligent agents (Computer software),Computer Science-- IT
رده :
QA76
.
7
.
S68
2011
